Symbolic Model Verifier

英文缩写：SMV

英文全称：Symbolic Model Verifier

中文释义：符号模型验证器

中文拼音：fú hào mó xíng yàn zhèng qì

所属分类：Academic & Science

上一个：Commander, North American Aerospace Defense Command 下一个：Dough Moulding Compounds

栏目分类

英语单词英文缩写

常用缩写

WCKX 缩写 WCGB 缩写 WEGP 缩写 WNNB 缩写 WBVX 缩写 LUCKY 缩写 KDD 缩写 WBLL 缩写 WBRF 缩写 WBJD 缩写 WBLF 缩写 RILO 缩写 WDYR 缩写